0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Verification And Validation – alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Verification and Validation" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    : Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, Buch

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Lecture Notes in Computer Science -Band 15221

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    : Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Buch

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Lecture Notes in Computer Science -Band 15223

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    : Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Buch

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science -Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Buch

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science -Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    : Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Lecture Notes in Computer Science -Band 15219

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    William L Oberkampf: Verification, Validation, and Uncertainty Quantification in Scientific Computing, Buch

    William L Oberkampf, Christopher J Roy
    Verification, Validation, and Uncertainty Quantification in Scientific Computing

    "This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

    Erscheint bald
    Buch
    Louis S Wheatcraft: Incose Needs and Requirements Manual, Buch

    Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
    Incose Needs and Requirements Manual

    Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycle The INCOSE Needs and Requirements Manual pres…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 119,99*
    : Formal Methods: Foundations and Applications, Buch

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science -Band 14414

    This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers present…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    : Integrated Formal Methods, Buch

    Integrated Formal Methods

    Lecture Notes in Computer Science -Band 15234

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 142,37*
    : Designing Modern Embedded Systems: Software, Hardware, and Applications, Buch

    Designing Modern Embedded Systems: Software, Hardware, and Applications

    IFIP Advances in Information and Communication Technology -Band 669

    This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 93,08*
    Mark Tehranipoor: Hardware Security, Buch

    Mark Tehranipoor, Kimia Zamiri Azar, Farimah Farahmandi, Fahim Rahman
    Hardware Security

    This book provides a look into the future of hardware and microelectronics security, with an emphasis on potential directions in security-aware design, security verification and validation, building trust…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 128,00*
    : Advanced Aircraft Understanding via the Virtual Aircraft Model, Buch

    Advanced Aircraft Understanding via the Virtual Aircraft Model

    Notes on Numerical Fluid Mechanics and Multidisciplinary Design -Band 155

    This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 164,28*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH